@First Proof benchmark

Researchers have developed Research Math Agents (RMA), an agentic framework that automates reasoning on research-level mathematical problems by decomposing proof-solving into specialized modules coord…